normed vector lattice

赋范向量格